More from this Author

Verification of Sequential and Concurrent Programs

by Krzysztof R. Apt, Frank S. De Boer, Ernst-R Diger Olderog